﻿// --------------------------------------------------------------------------------------------------------------------
// <copyright file="RecordReaderFactoryContracts.cs" company="Rolosoft Ltd">
//   © Rolosoft Ltd
// </copyright>
// --------------------------------------------------------------------------------------------------------------------

#region License

// Copyright 2013 Rolosoft Ltd
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
// http://www.apache.org/licenses/LICENSE-2.0
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
#endregion

namespace Rsft.Net.Dns.Interfaces
{
    #region Usings

    using System.Diagnostics.Contracts;

    #endregion

    /// <summary>
    /// The record reader factory contracts.
    /// </summary>
    [ContractClassFor(typeof(IRecordReaderFactory))]
    internal abstract class RecordReaderFactoryContracts : IRecordReaderFactory
    {
        #region Public Methods and Operators

        /// <summary>
        /// The create.
        /// </summary>
        /// <param name="data">
        /// The data.
        /// </param>
        /// <returns>
        /// The <see cref="IRecordReader"/>.
        /// </returns>
        public virtual IRecordReader Create(byte[] data)
        {
            Contract.Requires(data != null);
            Contract.Ensures(Contract.Result<IRecordReader>() != null);

            return default(IRecordReader);
        }

        /// <summary>
        /// The create.
        /// </summary>
        /// <param name="data">
        /// The data.
        /// </param>
        /// <param name="position">
        /// The position.
        /// </param>
        /// <returns>
        /// The <see cref="IRecordReader"/>.
        /// </returns>
        public virtual IRecordReader Create(byte[] data, int position)
        {
            Contract.Requires(data != null);
            Contract.Requires(position >= 0);
            Contract.Ensures(Contract.Result<IRecordReader>() != null);
            return default(IRecordReader);
        }

        #endregion
    }
}